differentiate log x from first principles